Логика. Доказательство Единственности Жегалкина. Метод Резолюций.